14 умственных (фундаментальных) действий по Лисп


Раздел Функция Обозначение в Лисп Коментарии




Логика
  • конюнкция
  • дизюнкция
  • отрицанние
  • импликация
    &&
    ||
    !
    if
Предикаты
  • тождество
  • небытие
  • элементарность
    ==
    NIL==
    Atom==
     
    сравнение с пустотой
    проверка на элементарность
Структуры
  • соединение
  • первый компонент
  • последний компонент
    CONS
    CAR
    CDR
    Группировка в список из 2 элементов
    Выделение первого элемента
    Выделение последнего элемента
Запоминание
  • присвоение
    =
    Сохранение в памяти
Интерпретация
  • запуск
  • запрет
  • возврат
    EVAL
    '
    RETURN
    Интерпретация
    запрет на интерпретацию
    возврат из подпрограммы
Слова
Определения
Печать
    новые слова
    новые программы
    рече-порождение


Этих действий, как показал тезис Черча, хватает для написания сколь угодно сложных алгоритмов!
Выделил  —  Леонид Обухов